projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a646ab4) | patch
openjdk10
authorAlastair McKinstry <mckinstry@debian.org>
Tue, 11 Dec 2018 14:14:53 +0000 (14:14 +0000)
committerAlastair McKinstry <mckinstry@debian.org>
Tue, 11 Dec 2018 14:14:53 +0000 (14:14 +0000)
commitd75993f524257c1905b4f058ff5f3ca896609a98
tree0ea1881eeb6596085f90a7e9ae93f9caa395dfd8tree | snapshot
parenta646ab44cb7bdd3ef490ff27a7287fd63334fc64commit | diff
openjdk10

===================================================================

Gbp-Pq: Name openjdk10.patch
ompi/mpi/java/java/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.